$\forall$$a$, $b$:$\mathbb{Z}$. $a$ $\mid$ $b$ $\Rightarrow$ ($\forall$$n$:$\mathbb{Z}$. $n$$\cdot$$a$ $\mid$ $n$$\cdot$$b$)